681. Proceedings of the 10th algebra seminar, 21-22, October 1998
پدیدآورنده : Department of Mathematics, University of Kurdistan Sanandaj-Iran; the editors; M.R. Darafsheh...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algebra
رده :
QA
150
.
A56
1998
682. Proceedings of the 25th conference of the International Group for the Psychology of Mathematics Education /
پدیدآورنده : editor, Marja van den Heuvel-Panhuizen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- Study and teaching-- Psychological aspects, Congresses.,Mathematics-- Study and teaching-- Psychological aspects.,Mathematics-- Study and teaching-- Psychological aspects.
683. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
684. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
685. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
686. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
687. Production theory:
پدیدآورنده : Edited by W. Eichhorn [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Production -- Congrès.,Production (Economic theory) -- Congresses.,Production functions (Economic theory) -- Congresses.
688. Production theory:
پدیدآورنده : Edited by W. Eichhorn [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Production -- Congrès.,Production (Economic theory) -- Congresses.,Production functions (Economic theory) -- Congresses.
689. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
690. Programming languages and systems, ESOP'94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
پدیدآورنده : Donald Sanella, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
788
691. Programming languages and systems, ESOP '96 : 6th European Symposium on Programming Linkoping, Sweden, April 22-24,1996 : proceedings
پدیدآورنده : Hanne Riis Nielson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1058
692. Progress in Galois theory :
پدیدآورنده : edited by Helmut Voelklein, Tanush Shaska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Galois theory, Congresses.,Algebra,Algebraic Geometry,Group Theory and Generalizations,Mathematics.,Galois theory.,Galois theory.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA374
.
P736
2005eb
693. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
694. Quadratic forms :
پدیدآورنده : Ricardo Baeza ... [et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Forms, Quadratic, Congresses
رده :
QA243
.
I57
2007
695. Quadratic forms : algebra, arithmetic, and geometry
پدیدآورنده : Ricardo Baeza ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Forms, Quadratic
رده :
QA
243
.
I52
2007
696. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
697. Quantum Gravity :
پدیدآورنده : editors: P.G. Bergmann, V. de Sabbata, H.-J. Treder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum gravity, Congresses.,Quantum gravity.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC178
698. Quantum affine algebras, extended affine Lie algebras, and their applications : Quantum Affine Algebras, Extended Affine Lie Algebras, and Applications, March 2-7, 2008, Banff International Research Station, Banff, Canada
پدیدآورنده : Yun Gao ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Geometry, Algebraic,Congresses ، Geometry, Affine
رده :
QA
564
.
W676
2008
699. Quantum information V :
پدیدآورنده : edited by T. Hida & K. Saitô.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers, Congresses.,Quantum computers, Congresses.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Computers.,Quantum computers.
رده :
QA76
.
889
.
I535
2001eb
700. Quantum theory and symmetries with lie theory and its applications in physics :
پدیدآورنده : Vladimir Dobrev, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum theory, Congresses.,Symmetry (Physics), Congresses.,Quantum theory.,Symmetry (Physics)
رده :
QC173
.
96
.
I58
2017
